//
// Created by wkm on 2023-12-11.
//

#include "gcd_monitor.h"

void gcd_monitor::prc_gcd_monitor() {
    cout << "At time " << sc_time_stamp() << "::";
    cout << "(first,second,reset):";
    cout << m_first << "," << m_second << "," << m_reset << " , ";
    cout << "(m_result):" << m_result << endl;
}